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).