Don't think there's any need to cast numerators here.