Update NumericTypes.java