Random: R-based Analyzer for Numerical Domains