posit.cpp: (fix build error)