True pattern matching in binpow?