imm32

An integer_number or a floating-point_number. The value is converted to f32 as described here.