4 ms·That's completely standard for Peano arithmetic though.by tel 12y agoThat's completely standard for Peano arithmetic though.