1fd234bed18a50edf79bd402057bc381b4b0ccba
0b9e0d07bc2d6370aec357b1e4b56300d8294b42
Seems fine. Might keep f32 for another month? But if not, no biggie...
Thanks for the review! I'll keep it around, but won't update the f32 repo.
Pull-Request has been merged by dustymabe