Numeric.Half check not needed after the FFI module