Regenerated.
Float literals.
More header tweaks.