inst: @non_nan_p

29 40

42 22

36 43

49 45

27 41

38 42

58 46

30 13

56 47

32 44

154 47

33 41

13 10

29 43

42 43

30 12