Rename: bint -> bigint
Apply rename in files, ... again