endianness agnostic
overflow checks
