fp-vrp does not set the precise bitinfo.

This confuses the constbits monotonicity checks.