[strategies][test] Fix mapping_ssf for integral types (rounding).

During the mapping FP was converted to INT again. To avoid explicit
rounding mapped coordinates are used directly in the SSF. For this purpose
the formula part was extracted from SSF strategy and placed in
side::detail namespace.

Furthermore slightly refactor SSF.
Reenable disabled test for int coordinates.