Formula for libfplll added

New pull request, with cleaner history