Retired Boigelot generators.
Adjusted number format.