posit.cpp, const (MISRA/QAC), a/b==a*(1/b), spaces and ()