#err <float overflow>