Switching from the field R to the ring Z.

I know this breaks the definition of Vector Space but I have to close an
eye for now since I have to investigate problems on properites
definitions and later on I will check how to make safe comparisons of
folat numbers with Erlang.