diff --git a/.clang-tidy b/.clang-tidy
index abcb2f7b7..580bdaf64 100644
--- a/.clang-tidy
+++ b/.clang-tidy
@@ -1,10 +1,10 @@
 ---
-Checks:          'clang-diagnostic-*,clang-analyzer-*,modernize-*,-*'
+Checks: 'abseil-*,altera-*,bugprone-*,concurrency-*,cppcoreguidelines-*,darwin-*,fuchsia-*,readability-*,performance-*,portability-*,zircon-*,hicpp-*,google-*,cert-*,clang-diagnostic-*,clang-analyzer-*,modernize-*,-*'
 WarningsAsErrors: ''
 HeaderFilterRegex: ''
 AnalyzeTemporaryDtors: false
-FormatStyle:     Microsoft
-User:            coder
+FormatStyle: Microsoft
+User: coder
 CheckOptions:
   llvm-else-after-return.WarnOnConditionVariables: 'false'
   modernize-loop-convert.MinConfidence: reasonable
diff --git a/.idea/inspectionProfiles/Project_Default.xml b/.idea/inspectionProfiles/Project_Default.xml
index 3eee7bf41..8e10ee14e 100644
--- a/.idea/inspectionProfiles/Project_Default.xml
+++ b/.idea/inspectionProfiles/Project_Default.xml
@@ -1,6 +1,10 @@
 <component name="InspectionProjectProfileManager">
   <profile version="1.0">
     <option name="myName" value="Project Default" />
+    <inspection_tool class="CppInconsistentNaming" enabled="false" level="WEAK WARNING" enabled_by_default="false" editorAttributes="INFO_ATTRIBUTES" />
+    <inspection_tool class="CppLocalVariableWithNonTrivialDtorIsNeverUsed" enabled="true" level="WARNING" enabled_by_default="true" />
+    <inspection_tool class="CppTabsAreDisallowed" enabled="true" level="WARNING" enabled_by_default="true" />
+    <inspection_tool class="CppUnnecessaryWhitespace" enabled="true" level="WARNING" enabled_by_default="true" />
     <inspection_tool class="SpellCheckingInspection" enabled="true" level="TYPO" enabled_by_default="true">
       <option name="processCode" value="false" />
       <option name="processLiterals" value="false" />
diff --git a/.vscode/c_cpp_properties.json b/.vscode/c_cpp_properties.json
new file mode 100644
index 000000000..9a3afa573
--- /dev/null
+++ b/.vscode/c_cpp_properties.json
@@ -0,0 +1,17 @@
+{
+  "configurations": [
+    {
+      "name": "Linux",
+      "includePath": [
+        "/**"
+      ],
+      "defines": [],
+      "compilerPath": "/usr/bin/clang",
+      "cStandard": "c17",
+      "cppStandard": "c++23",
+      "intelliSenseMode": "linux-clang-arm64",
+      "configurationProvider": "ms-vscode.cmake-tools"
+    }
+  ],
+  "version": 4
+}
\ No newline at end of file
diff --git a/CMakeLists.txt b/CMakeLists.txt
index 9b11af2af..046e98d52 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -57,7 +57,7 @@ function(capitalize IN OUT)
             ${CAPITALIZED}
             PARENT_SCOPE)
 endfunction()
-set(COMPONENTS abs add subtract multiply decimalConvert comparison power division)
+set(COMPONENTS abs add baseConvert subtract multiply decimalConvert comparison power division)
 set(TARGETS ${COMPONENTS} util)
 set(TEST_TARGETS_TEMP util ${COMPONENTS})
 
@@ -93,4 +93,4 @@ if (DEBUG)
             WORKING_DIRECTORY ${CMAKE_CURRENT_SOURCE_DIR}
             COMMENT "Adding header comments"
     )
-endif ()
\ No newline at end of file
+endif ()
diff --git a/include/fn/basicArithm.hpp b/include/fn/basicArithm.hpp
index 9d1b64fd6..826d27413 100644
--- a/include/fn/basicArithm.hpp
+++ b/include/fn/basicArithm.hpp
@@ -104,6 +104,15 @@ std::string decimalConvert(const std::string_view& _inputString, const std::stri
  */
 std::string divide(const std::string_view& number, const std::string_view& divisor, int steps = 2, int decimals = 5);
 
+/**
+ * Calculates the quotient and remainder of dividing the current remainder by the divisor.
+ *
+ * @param _currentRemainder The current remainder.
+ * @param divisor The divisor.
+ * @return A QuotientRemainder object containing the quotient and remainder.
+ */
+QuotientRemainder getQuotientRemainder(const auto& _currentRemainder, const auto& divisor);
+
 /**
  * @brief Multiplies two string representations of numbers.
  *
diff --git a/include/internals.hpp b/include/internals.hpp
index 369a509f3..ead272879 100644
--- a/include/internals.hpp
+++ b/include/internals.hpp
@@ -22,12 +22,14 @@
 
 #pragma once
 
+#include <iostream>
+
 namespace internals
 {
     struct setw
     {
         unsigned long n;
-        setw(unsigned long n) : n(n) {}
+        explicit setw(const unsigned long n) : n(n) {}
 
         friend std::ostream& operator<<(std::ostream& os, const setw& cs)
         {
diff --git a/include/util.hpp b/include/util.hpp
index e45d1c2ca..0bc014b29 100644
--- a/include/util.hpp
+++ b/include/util.hpp
@@ -381,6 +381,22 @@ auto removeLeadingZeros(const std::vector<int>& vector) -> std::decay_t<decltype
  */
 auto removeLeadingZeros(const std::string& string) -> std::decay_t<decltype(string)>;
 
+/**
+ * @brief Joins a vector of elements into a single string using a delimiter.
+ *
+ * @tparam T The type of the vector elements.
+ * @param vector The vector of strings to join.
+ * @param delimiter The delimiter to join the strings with.
+ * @return The joined string.
+ */
+template<typename T>
+auto join(const std::vector<T>& vector, const std::string& delimiter)
+{
+    std::stringstream result;
+    for (const auto& item : vector)
+        result << item << delimiter;
+    return result.str();
+}
 /**
  * @brief Makes the given string wider by adding 2 spaces between each character.
  *
@@ -407,3 +423,7 @@ std::string makeWider(const std::string& orig);
  * @see Utf8CodePage
  */
 std::string unicodeToUtf8(int unicode);
+
+auto removeTrailingZeros(const std::vector<int>& _vector) -> std::decay_t<decltype(_vector)>;
+
+auto removeTrailingZeros(const std::string& numStr) -> std::decay_t<decltype(numStr)>;
diff --git a/src/comparison/comparison.cpp b/src/comparison/comparison.cpp
index 77486f57c..8a7b0d98c 100644
--- a/src/comparison/comparison.cpp
+++ b/src/comparison/comparison.cpp
@@ -31,13 +31,18 @@
 
 std::string compare(const std::string_view& a, const std::string_view& b, const int steps)
 {
-    const auto splitNumberResult = splitNumber(a, b, false, true);
-    const auto result = splitNumberResult.splitNumberArray;
-    const bool aIsNegative = splitNumberResult.aIsNegative, bIsNegative = splitNumberResult.bIsNegative,
-               bothNegative = aIsNegative and bIsNegative;
+    const auto [splitNumberArray, aIsNegative, bIsNegative] = splitNumber(a, b, false, true);
+    const auto result = splitNumberArray;
+    const bool bothNegative = aIsNegative and bIsNegative;
     const auto& aIntegerReal = result[0];
-    if (const auto& bIntegerReal = result[2]; aIntegerReal.length() != bIntegerReal.length())
+    if (const auto& bIntegerReal = result[2];
+        // a is longer than b and is of different polarities
+        aIntegerReal.length() != bIntegerReal.length() and aIsNegative == bIsNegative)
+    {
+        if (bothNegative)
+            return reportComparisonAtInteger(a, b, aIntegerReal.length() < bIntegerReal.length(), steps);
         return reportComparisonAtInteger(a, b, aIntegerReal.length() > bIntegerReal.length(), steps);
+    }
 
     // Here, we try to determine whether a or b is greater based on their polarities
     // Scenario 1: a and b are both positive
@@ -53,7 +58,7 @@ std::string compare(const std::string_view& a, const std::string_view& b, const
     // Action    : Return a < b
     if (not aIsNegative and bIsNegative)
         return reportComparisonByPolarity(a, b, true, steps);
-    else if (aIsNegative and not bIsNegative)
+    if (aIsNegative and not bIsNegative)
         return reportComparisonByPolarity(a, b, false, steps);
 
     for (long i = 0; static_cast<size_t>(i) < a.length(); i++)
@@ -62,11 +67,11 @@ std::string compare(const std::string_view& a, const std::string_view& b, const
             continue; // Negative sign, decimal point or equals
         if (a[i] > b[i] and not bothNegative)
             return reportComparisonByDigit(a, b, i, true, false, steps);
-        else if (a[i] < b[i] and not bothNegative)
+        if (a[i] < b[i] and not bothNegative)
             return reportComparisonByDigit(a, b, i, false, false, steps);
-        else if (a[i] > b[i] and bothNegative) // First digit is the negative sign
+        if (a[i] > b[i] and bothNegative) // First digit is the negative sign
             return reportComparisonByDigit(a, b, i - 1, false, false, steps);
-        else if (a[i] < b[i] and bothNegative)
+        if (a[i] < b[i] and bothNegative)
             return reportComparisonByDigit(a, b, i - 1, true, false, steps);
     }
 
diff --git a/src/division/division.cpp b/src/division/division.cpp
index e99c84ebb..165bb2689 100644
--- a/src/division/division.cpp
+++ b/src/division/division.cpp
@@ -39,7 +39,7 @@ QuotientRemainder getQuotientRemainder(const auto& _currentRemainder, const auto
         return { "1", "0" }; // Equal
 
     int out = 0;
-    while (compare(currentRemainder, divisor, 0) == "1" or compare(currentRemainder, divisor, 0) == "2")
+    while (compare(currentRemainder, divisor, 0) != "0")
     {
         out++;
         currentRemainder = subtract(currentRemainder, divisor, 0);
@@ -74,7 +74,7 @@ std::string divide(const std::string_view& _number,
     auto splitNumberResult = splitNumber(_number, _divisor, false, true);
     bool numberIsNegative = splitNumberResult.aIsNegative, divisorIsNegative = splitNumberResult.bIsNegative;
     auto [numberInteger, numberDecimal, divisorInteger, divisorDecimal] = splitNumberResult.splitNumberArray;
-    auto numberIntegerOrig = numberInteger, divisorIntegerOrig = divisorInteger;
+    auto numberIntegerOrig = numberInteger, divisorIntegerOrig = divisorInteger, numberDecimalOrig = numberDecimal;
     auto decimals = _decimals;
 
     if (numberIntegerOrig.empty())
@@ -142,46 +142,89 @@ std::string divide(const std::string_view& _number,
     // - Length of integer in output  = Length of integers in number - Length of integers in divisor  (*)
     // - Length of decimals in output = Length of output - Length of integers
     // Note: It can be negative!
-    auto numberIntegers = static_cast<long long>(numberInteger.length() - divisorInteger.length());
-    auto diffNumberDivisor = subtract(numberIntegerOrig, divisorIntegerOrig, 0);
-    if (compare(abs(_number, 0), abs(_divisor, 0), 0) != "0" and compare(diffNumberDivisor, "9", 0) != "1")
-        numberIntegers++;
+    auto numberIntegers = static_cast<long long>(numberIntegerOrig.length() - divisorIntegerOrig.length());
     long long numberDecimals = quotient.length() - numberIntegers;
+    std::string testedResult;
+    SplitNumberResult parts;
+    std::string finalQuotient = quotient;
+    bool adjusted = false;
+
+    // The gotos here are confusing. Here's a breakdown of how it runs:
+    // - Determine number of decimals
+    // - rounding: Round the numbers according to the estimated number of integers and decimals. <=========+-+
+    //   |- Is the result correctly adjusted?                                                              | | Jump
+    //    |-Yes|-> Jumps to finish, returns the result.----------------------------------------------------+-+----+
+    //    |-No|-> Jumps to testDigits and adjust the numbers accordingly.----------------------------------+-+--+ |
+    // - testDigits: Adjust the number of digits by multiplying and then see if the result is reasonable.<-+-+--+ |
+    //   |- Is reasonable?                                                                                 | |    |
+    //    |-Correct|-> Jumps to finish, returns the result.------------------------------------------------+-+----+
+    //    |-Too many integer places / Not enough decimal places|-> Remove one integer place----------------+ |    |
+    //    |-Not enough integer places / Too many decimal places|-> Add one integer place---------------------+    |
+    // - finish: Returns the correct result, and reports it using the reportDivision function.<===================+
+    //   |-> Ends program.
+
+rounding:
     // Scenario 1: No decimal places returned
     // Solution  : Do nothing
     if (static_cast<size_t>(numberIntegers) == quotient.length() - 1)
-        quotient = quotient.substr(0, quotient.length() - 1);
+        finalQuotient = quotient.substr(0, quotient.length() - 1);
     // Scenario 2: Decimal places more than requested
     // Solution  : Round to the nearest decimal place
     else if (numberDecimals >= decimals and numberIntegers > 0)
     {
-        auto beforeDecimal = quotient.substr(0, numberIntegers),
-             afterDecimal = quotient.substr(numberIntegers, numberDecimals);
+        auto beforeDecimal = quotient.substr(0, numberIntegers - 1),
+             afterDecimal = quotient.substr(numberIntegers - 1, numberDecimals);
         if (not afterDecimal.empty() and afterDecimal.back() > '4')
             afterDecimal = add(afterDecimal, "1", 0);
         if (beforeDecimal.empty())
             beforeDecimal = "0";
         if (not afterDecimal.empty())
-            quotient = beforeDecimal + "." + afterDecimal;
+            finalQuotient = beforeDecimal + "." + afterDecimal;
         else
-            quotient = beforeDecimal;
+            finalQuotient = beforeDecimal;
     }
     // Scenario 3: Result is less than one
     // Solution  : 1. Append "0." to the beginning
     //             2. Append appropriate amount of zeros
     else if (numberIntegers <= 0)
-        quotient = "0." + std::string(-numberIntegers, '0') + quotient.substr(0, quotient.length() - 1);
+        finalQuotient = "0." + std::string(-numberIntegers, '0') + quotient.substr(0, quotient.length() - 1);
 
     // Scenario 4: Decimal places less than requested
     // Solution  : Pad with trailing zeros
     if (numberDecimals < decimals and numberDecimals >= 0)
     {
         auto difference = decimals - numberDecimals;
-        quotient += std::string(difference, '0');
+        finalQuotient += std::string(difference, '0');
+    }
+
+testDigits:
+    // Here, we try out the estimated value, and see if it is right.
+    testedResult = multiply(finalQuotient, _divisor, 0);
+    parts = splitNumber(testedResult, "0", false, false);
+
+    if (parts.splitNumberArray[0].length() == numberIntegerOrig.length() or
+        parts.splitNumberArray[1].length() == numberDecimalOrig.length())
+        goto finish;
+    if (parts.splitNumberArray[0].length() > numberIntegerOrig.length() and
+        parts.splitNumberArray[1].length() < numberDecimalOrig.length())
+    {
+        numberIntegers--;
+        numberDecimals = finalQuotient.length() - numberIntegers;
+        adjusted = true;
+        goto rounding;
+    }
+    if (parts.splitNumberArray[0].length() < numberIntegerOrig.length() and
+        parts.splitNumberArray[1].length() > numberDecimalOrig.length())
+    {
+        numberIntegers++;
+        numberDecimals = finalQuotient.length() - numberIntegers;
+        adjusted = true;
+        goto rounding;
     }
 
+finish:
     return reportDivision(
-        tempFormattedAns, remainder, quotient, divisor, _divisor, _number, steps, width, resultIsNegative);
+        tempFormattedAns, remainder, finalQuotient, divisor, _divisor, _number, steps, width, resultIsNegative);
 }
 
 #ifndef NO_MAIN
diff --git a/src/multiply/multiply.cpp b/src/multiply/multiply.cpp
index b99229578..b599ebd0f 100644
--- a/src/multiply/multiply.cpp
+++ b/src/multiply/multiply.cpp
@@ -38,7 +38,7 @@ std::string multiply(const std::string_view& a, const std::string_view& b, const
     if (b == "1")
         return static_cast<std::string>(a);
 
-    const auto& [splitNumberArray, aIsNegative, bIsNegative] = splitNumber(a, b, false);
+    const auto& [splitNumberArray, aIsNegative, bIsNegative] = splitNumber(a, b, false, false);
     bool resultIsNegative = false;
     const auto& [aInteger, aDecimal, bInteger, bDecimal] = splitNumberArray;
     const std::string &aStr = aInteger + aDecimal, bStr = bInteger + bDecimal;
@@ -106,10 +106,18 @@ std::string multiply(const std::string_view& a, const std::string_view& b, const
         finalProdDigits[indexDigit] = sum;
     }
 
-    return reportMultiply(
-        static_cast<std::string>(a), static_cast<std::string>(b), aStr, bStr, finalProdDigits, finalProdCarries, prodDigitsOut, carries,
-        resultIsNegative,
-        steps);
+    const size_t numberDecimals = aDecimal.length() + bDecimal.length();
+    return reportMultiply(static_cast<std::string>(a),
+                          static_cast<std::string>(b),
+                          aStr,
+                          bStr,
+                          finalProdDigits,
+                          finalProdCarries,
+                          prodDigitsOut,
+                          carries,
+                          resultIsNegative,
+                          numberDecimals,
+                          steps);
 }
 
 #ifndef NO_MAIN
diff --git a/src/multiply/multiplyReport.cpp b/src/multiply/multiplyReport.cpp
index 086681d7d..cdbcc90d8 100644
--- a/src/multiply/multiplyReport.cpp
+++ b/src/multiply/multiplyReport.cpp
@@ -38,7 +38,8 @@ std::string reportMultiply(const std::string& a,
                            const std::vector<int>& finalProdCarries,
                            const std::vector<std::vector<int>>& prodDigitsOut,
                            const std::vector<std::vector<int>>& carries,
-                           bool resultIsNegative,
+                           const bool resultIsNegative,
+                           const size_t numberDecimals,
                            const int steps)
 {
     std::stringstream ss;
@@ -92,9 +93,21 @@ std::string reportMultiply(const std::string& a,
         ss << a << " " MULTIPLY " " << b << " = ";
     if (resultIsNegative)
         ss << '-';
-    for (const auto vector = replaceLeadingZeros(finalProdDigits); const int i : vector)
+    const auto vector = replaceLeadingZeros(finalProdDigits);
+
+    std::string out;
+    for (const int i : vector)
         if (i >= 0)
-            ss << i;
+            out += std::to_string(i);
+    if (long long numberIntegers =
+            static_cast<long long>(out.length()) - numberDecimals; // NOLINT(*-narrowing-conversions)
+        numberIntegers < 0)
+        out = std::string(-numberIntegers, '0') + "." + out;
+    else if (numberIntegers == 0)
+        out = "0." + out;
+    else
+        out.insert(numberIntegers, ".");
 
+    ss << out;
     return ss.str();
 }
diff --git a/src/multiply/multiplyReport.hpp b/src/multiply/multiplyReport.hpp
index 1cd182923..8a93230ac 100644
--- a/src/multiply/multiplyReport.hpp
+++ b/src/multiply/multiplyReport.hpp
@@ -34,4 +34,5 @@ std::string reportMultiply(const std::string& a,
                            const std::vector<std::vector<int>>& prodDigitsOut,
                            const std::vector<std::vector<int>>& carries,
                            bool resultIsNegative = false,
+                           size_t numberDecimals = 0,
                            int steps = 2);
diff --git a/src/util.cpp b/src/util.cpp
index e54caeea8..173ab95e5 100644
--- a/src/util.cpp
+++ b/src/util.cpp
@@ -23,8 +23,8 @@
 #include "util.hpp"
 
 #ifdef WINDOWS
-#undef min
-#undef max
+    #undef min
+    #undef max
 #endif
 
 #include <algorithm>
@@ -60,6 +60,8 @@ SplitNumberResult splitNumber(const std::string_view& _a,
         aDecimal = "";
     if (isZeroString(bDecimal) or bParts.size() == 1)
         bDecimal = "";
+    aDecimal = removeTrailingZeros(aDecimal);
+    bDecimal = removeTrailingZeros(bDecimal);
 
     // Pad with zeros
     if (padInteger)
@@ -188,11 +190,7 @@ auto replaceLeadingZeros(const std::vector<int>& vector) -> std::decay_t<decltyp
     if (const auto firstNonZero = std::ranges::find_if(out, [](const int num) { return num != 0; });
         out.begin() != firstNonZero && out.front() == 0)
     {
-        std::replace_if(
-            out.begin(),
-            firstNonZero,
-            [](const int num) { return num == 0; },
-            -2);
+        std::replace_if(out.begin(), firstNonZero, [](const int num) { return num == 0; }, -2);
     }
 
     return out;
@@ -215,3 +213,25 @@ auto removeLeadingZeros(const std::string& string) -> std::decay_t<decltype(stri
     out.erase(0, std::min(out.find_first_not_of('0'), out.size() - 1));
     return out;
 }
+
+auto removeTrailingZeros(const std::vector<int>& _vector) -> std::decay_t<decltype(_vector)>
+{
+    std::vector vector = _vector;
+    auto i = vector.size() - 1;
+    while (vector[i] == 0)
+    {
+        vector.pop_back();
+        i--;
+    }
+    return vector;
+}
+
+auto removeTrailingZeros(const std::string& numStr) -> std::decay_t<decltype(numStr)>
+{
+    size_t i = numStr.size() - 1;
+    while (i > 0 && numStr[i] == '0')
+        i--;
+
+    std::string result = numStr.substr(0, i + 1);
+    return result;
+}
\ No newline at end of file
diff --git a/tests/testDivision.cpp b/tests/testDivision.cpp
index 8eb2417cb..2c7880cf2 100644
--- a/tests/testDivision.cpp
+++ b/tests/testDivision.cpp
@@ -48,7 +48,7 @@ const std::string
 
 _.assertIsEqual(
     res,
-    "126582278481012658227848101265822784810126582278481012658227848101265822784810126582278481012658227.848101266");
+    "126582278481012658227848101265822784810126582278481012658227848101265822784810126582278481012658227.84810127");
 SECTION_END()
 
 SECTION(Decimal divided by decimal)