Make patching `btScalar.h` more robust.

This also makes `bullet_double_precision_patch` legible.