Gets an integer property by name.
@param key The property name @return The integer value, or null if not found or not an integer
ConstInt? getInt(String key);