Rename `float=64` SCons option to `precision=double`
This avoids confusion with the old `bits=64` option and building for 64-bit CPUs in general.
H
Hugo Locurcio committed
063637ec77bbb3f3b809d616005cb80d0cdc64b1
Parent: ae86d90