(make_number): Make prototype more precise.