and
Must be important numbers !
Can [ pi ] then be defined as something other than a ratio involving { round objects } ?