Decision problems for linear recurrences involving arbitrary real numbers (Logical Methods in Computer Science, 2021)