User blog comment:Septexorgahepta/Gagfour/@comment-30675002-20170621080233

This number is approximately F4.633 using Letter Notation, right?