The integer part of pi