uint512 definition
initial x11 test implementation