It's quite annoying; I don't need my maps to be the size of an entire city, so it's a lot of unused data for me to have buffer_f32 be sent between servers and clients for my game just to get the coordinates of something as a floating point.
buffer_f16 would be perfect, but alas, this isn't an...