Approximate SMT Counting Beyond Discrete Domains