Removed requirement of mixed-mode division in rational_cast; added test where the requirement's removal was needed; demonstrated limited cross-version rational casting