Checkpoint
Added a float-32 type.
Self-review plus test fix.
More test fixing.