Add tap test for --extra-float-digits option

When Who What
2020-07-02 15:19:09 Daniel Gustafsson (d_gustafsson) Closed in commitfest 2020-07 with status: Committed
2020-07-02 15:19:09 Daniel Gustafsson (d_gustafsson) Changed committer to michael-kun
2020-07-02 15:18:50 Daniel Gustafsson (d_gustafsson) Changed reviewers to Michael Paquier (michael-kun)
2020-06-11 05:31:21 DongWook Lee (dongwooklee) Changed authors to DongWook Lee (dongwooklee)
2020-06-11 05:31:21 DongWook Lee (dongwooklee) Changed targetversion to 14
2020-06-11 05:30:22 DongWook Lee (dongwooklee) Attached mail thread CAAcByaJsgrB-qc-ALb0mALprRGLAdmcBap7SZxO4kCAU-JEHcQ@mail.gmail.com
2020-06-11 05:30:22 DongWook Lee (dongwooklee) Created patch record