// IGNORE_K2

import java.lang.Double
import java.lang.Float

public class Test {
    void m() {
        Double.isFinite(2.0);
        Double.isNaN(2.0);
        Float.isNaN(2.0f);
        Float.isInfinite(2.0f);
    }
}