floating-point coefficient