fixes issue #29: different storage formats for numbers are now properly differentiated