Fixed a bigint subtraction bug. Fortunately bigints are still unused.