Having only read the title, it’s amusing me to imagine “double” being used in its common coding sense, a 64-bit IEEE 754 floating-point number. One specific bit pattern representing this goddess.