N. Fröman’s phase-integrals versus JWKB: Documentation of the advantages of the former in higher-order approximations