float32 instead of float64 by default: save a factor of 2 in space!