Add nomt target and easy bigints up to 512.