float encoding ~50% faster