Fix bad floating point constant issue