floating point const