presto-main/src/main/java/io/prestosql/type/DecimalCasts.java/DecimalCasts/shortDecimalToDouble
class DecimalCasts:    @UsedByGeneratedCode
    public static double shortDecimalToDouble(long decimal, long precision, long scale, long tenToScale)
    {
        return ((double) decimal) / tenToScale;
    }