д = 123.321

якщо д.чародія_число не є Дія
  впасти
кінець

якщо д.чародія_число() != д
  впасти
кінець

якщо Число(д) != д
  впасти
кінець