higher bound for the

integer part in float float

float float float return✕