fractional part of (sqrt 5 + sqrt 7)