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