Микроконтроллеры

64 бит как раз под double (float64). Предположу, что и у i86 регистры с плавающей точкой были "отделены от государства" только потому, что ядро тогда было 16-разрядным, а потом уж так и повелось. Тогда как по делу следовало допускать хранение в регистрах общего назначения, как целых чисел, так и с плавающей запятой. Т.е. 64-битный регистры были бы широко востребованы.