use binary serialiization for floating points