working and tested u256x256