Repaired a minor bug on get_number_param predicate