They are 64 bits, just floating-point.  Changing them to an integral
type would break lots of existing awk programs.

Reply via email to