ppf_kernel fully generatized. std::min function arguments all cast to integers.