*print-radix* was T. If *print-base* were 16, the output would be #xr<...>. o Comment out old float printer routines for now.