Editing: NumberInterface.php