Port floating_point example