[cast.jpe]