Rename bigint-decl.hh to bigintops-decl.hh