Merge proposals

bigint in Ubuntu has no merge proposals.