(** Extract the digits from a valid phone number. *)
val number : string -> string option