Proposed resolution:

This wording is relative to N4606.

1. Adjust [numeric.ops.gcd] p2 as indicated:

   template<class M, class N>
     constexpr common_type_t<M, N> gcd(M m, N n);
   

   […]

   -2- Remarks: If either M or N is not an integer type, or if either is (possibly cv-qualified) bool, the program is ill-formed.

2. Adjust [numeric.ops.lcm] p2 as indicated:

   template<class M, class N>
     constexpr common_type_t<M, N> lcm(M m, N n);
   

   […]

   -2- Remarks: If either M or N is not an integer type, or if either is (possibly cv-qualified) bool, the program is ill-formed.

[ 2016-08, Chicago ]

Monday PM: Moved to Tentatively Ready

With the acceptance of gcd and lcm in the working draft, the same problem as pointed out by LWG 2733 exists here as well and should be fixed accordingly.