Added fbellard's 64-bit Math proposal