isinf, isnan: Relax license.