Rename primfloat to float in documentation.