pub const float_round_down: c_uint = 1;