lib sqrt