new data type for truncated dual computation etc