Цитата:

, чем плохо?
А не будет ли такое построение противоречить аксиомам теории комплексных чисел? И как Вы можете обосновать непротиворечивость данного построения дробной части комплексного числа?
О какой непротиворечивости речь? И какие аксиомы имеют отношение к дробной части.
По идее, на дробную часть есть только одно ограничение: она в сумме с целой частью должна давать исходное число. А целая часть должна быть целой, как это ни банально звучит. Т.е. надо сначала дать определение целой части, а дробная часть - остаток.
Для действительных чисел целая часть - это монотонное отображение на множество целых чисел. Уже здесь можно придумать разные достаточно равноправные отображения - округление к нулю, к минус бесконечности, и т.п. Но по сути они все равны, надо лишь договориться, что именно выбрать. И даже здесь в разных областях приняты разные варианты.
В случае с комплексными числами выбор гораздо богаче. И приведённый вариант я бы выбрал только за простоту определения.