[Crystal 003] maths different not equal