Fix compilation error on floating point constants