Use boost for reading with double input