(** Atomic mass. *) include NonNegativeFloat