My point was that programs that rely on IEEE features implicitly are just as conforming as any others - and programs that rely on functions in an external library are just as conforming as any others. Non-conformity would arise in a program that exploited vendor-supplied language features.