enumpde/p1: use nans