getTypePrecisionAndRadix() is guaranteed to return at least one element in all cases?