def create_number_type(lang):
    """ Creates a sort corresponding to the PDDL "number" """
    parent = lang.get_sort('Integer')
    lower = parent.lower_bound
    upper = parent.upper_bound
    lang.interval('number', parent, lower, upper)
