(** Atomic mass. *) include module type of NonNegativeFloat