presto-main/src/main/java/io/prestosql/type/DoubleOperators.java/DoubleOperators/castToReal
class DoubleOperators:    @ScalarOperator(CAST)
    @SqlType(StandardTypes.REAL)
    public static long castToReal(@SqlType(StandardTypes.DOUBLE) double value)
    {
        return floatToRawIntBits((float) value);
    }