we need to promote traditional floating-point values