Improve unification error messages for foreign calls
Support Buffer resizing
Format floats