Replaced some inf(...) with oftype