sum of digits of floor(pi * 10^31415)