prefix64: write 2^64 in HTML