public static int cast(ShortValue x, int y) { return x.intValue(); }
public static int cast(ShortValue x, int y) { return x.intValue(); }
public static IntRange cast(ShortValue x, IntRange y) { return new IntRange(x.intValue()); }
public static DoubleRange cast(ShortValue x, DoubleRange y) { return new DoubleRange(x.intValue()); }