Merge pull request #12667 from rartemev/issue_12465_1
authorRoman Artemev <rartemev@microsoft.com>
Fri, 7 Jul 2017 01:24:28 +0000 (18:24 -0700)
committerGitHub <noreply@github.com>
Fri, 7 Jul 2017 01:24:28 +0000 (18:24 -0700)
Added explicit cast float -> double for arguments


Trivial merge