Clarify return type of number_type(); fixes #18