imm32

An integer_number or a floating-point_number. The number is converted to f16 as described here.