Fix floating-point prebuffer number