Be explicit about using doubles in float-octet