Fix 64bit runtime in 32bit mode.

Fixes #40.
Noted one memory leak in unique_mapping().
Tests improvments.
Extended various sprintf buffer, to avoid crashes when printing out
numbers and floats.