We currently convert float32 to 64 there! That isn't nice, lets change it?

(Sorry the reason for the brief thing was that I accidentally also opened an issue).