Thank you and others for articulating this naming (and semantic) problem so well.

I've just shipped int64, float64, and removed num32, float, etc.