presto-main/src/main/java/io/prestosql/type/DoubleOperators.java/DoubleOperators/divide
class DoubleOperators:    @ScalarOperator(DIVIDE)
    @SqlType(StandardTypes.DOUBLE)
    public static double divide(@SqlType(StandardTypes.DOUBLE) double left, @SqlType(StandardTypes.DOUBLE) double right)
    {
        return left / right;
    }