fractional part of (((sqrt 5 + sqrt 7)