If it is proven that Dominion uses this standard in their machines, then that is proof that votes are stored ultimately as double length floating point numbers.