Use floating point in GA plugin