lazy, composable rational approximations