# 3b: floating point