Use simplified uint128_t constants (#36)