Well this doesn't make sense. This port is for 64 bit aka double precision floating points. I am talking about supporting 32 bit floats. Maybe this can be achie

Well this doesn't make sense. This port is for 64 bit aka double precision floating points. I am talking about supporting 32 bit floats. Maybe this can be achieved in the same codebase, I don't know