libm case