Fix numeric encoding for large integers