[解決済み] Python time.perf_counter() が返す端数秒とは、いったい何ですか？

質問

これはおそらく馬鹿で明白な質問ですが、私の予感が正しいことを確認したいのです。

Python3スクリプトでtime.perf_counter()を使って基本的なパフォーマンスのタイミングをとっているのですが、このような場合はどうすればよいのでしょうか？

start = time.perf_counter()
# some time consuming operation here
end = time.perf_counter()
elapsed = end - start

そして、9.774とか36.903といった値が返ってくる（もちろん、小数点以下はもっと多い）。数字が大きい＝経過時間が長いということだと思うのですが、これらの数字には一体どのような意味があるのでしょうか？例：1.23秒の端数は、1秒と0.23秒の端数だけなのでしょうか？

解き方は？

私の知る限り、quot;fractional second" は、単に小数部分を持つ秒を意味します（厳密に整数の秒数とは対照的です）。つまり、9.774は9秒に1000分の774秒を足した秒数ということです。