Back to mainstream libnum