fix doc comments. rename kInfinity to INFINITY