Enabled casting from floating-point number types to the integer type