micromega : refification recognises @eq T for T convertible with Z or R