for integer and float: == will convert integer to float firstly before comparing =:= no convertion
for other terms: == and =:= are the same