diophantine approximations