Dev: fix LEMfixnum