# Floot * 1: Float (test_prog::Float)