CHECK: norm is 5.47723