14.2 Definition of dividend (double)