Implement RatioInf type