Made floating point constructor be 'named'