linear algebra and float/int resolutions in easy-nim