Bugfix: Issue with precision of EF resolved #875